-
1 consistency of axioms
Большой англо-русский и русско-английский словарь > consistency of axioms
-
2 consistency of axioms
Математика: непротиворечивость аксиом -
3 consistency of axioms
English-Russian scientific dictionary > consistency of axioms
-
4 consistency
1) согласованность, непротиворечивость; целостность2) стат. состоятельность3) последовательность, логичность, непротиворечивость4) постоянство5) совместимость; совместность6) консистенция; плотность• -
5 непротиворечивость аксиом
Русско-английский научно-технический словарь Масловского > непротиворечивость аксиом
-
6 непротиворечивость аксиом
Большой англо-русский и русско-английский словарь > непротиворечивость аксиом
-
7 непротиворечивость аксиом
Mathematics: consistency of axiomsУниверсальный русско-английский словарь > непротиворечивость аксиом
См. также в других словарях:
Consistency — For other uses, see Consistency (disambiguation). In logic, a consistent theory is one that does not contain a contradiction.[1] The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a … Wikipedia
Peano axioms — In mathematical logic, the Peano axioms, also known as the Dedekind Peano axioms or the Peano postulates, are a set of axioms for the natural numbers presented by the 19th century Italian mathematician Giuseppe Peano. These axioms have been used… … Wikipedia
Hilbert's axioms — are a set of 20 assumptions (originally 21), David Hilbert proposed in 1899 as the foundation for a modern treatment of Euclidean geometry. Other well known modern axiomatizations of Euclidean geometry are those of Tarski and of George… … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… … Universalium
New Foundations — In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled New Foundations for … Wikipedia
Brouwer-Hilbert controversy — A foundational controversy in twentieth century history of mathematics opposed L. E. J. Brouwer, a supporter of intuitionism, and David Hilbert, the founder of formalism.BackgroundThe background for the controversy was set with David Hilbert s… … Wikipedia
Zermelo–Fraenkel set theory — Zermelo–Fraenkel set theory, with the axiom of choice, commonly abbreviated ZFC, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics.ZFC consists of a single primitive ontological notion, that of… … Wikipedia